1. A friendly introduotion to mathematical Logic
Author: / Christopher C. Leary
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: منطق کامپیوتری,منطق ریاضی
Classification :
QA
۷۶
/
۹
/
ل
۹
ف
۴ ۱۳۷۹
2. Logic, language, information and computation : 15th international workshop, WOLLIC 2008 Edinburgh, UK, July 1-4, 2008 proceedings
Author: / [edited by] Wilfrid Hodges, Ruy de Queiroz.
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: منطق ریاضی,منطق ریاضی,زبانشناسی کامپیوتری,-- کنگرهها, -- کنگرهها
Classification :
QA
۹
/
ک
۲ ۱۳۸۷
